Algorithm Writer

try 1 [pattern matching, replace, from formula finder]
make symbol suggestions if cannot find alg from 1
use data and 1 to try writing subpredicates

if close to a solution with interpreter, writes nec code by replacing an item with a pattern